// buffer_write_int(val)
// Writes an integer to the buffer

buffer_write(buffer, buffer_s32, argument0)
